Special Issue on Modeling, Simulation, Operation and Control of Discrete Event Systems

Special Issue on Modeling, Simulation, Operation and Control of Discrete Event Systems

Zhiwu Li 1,2 ID , Mengchu Zhou 3, Naiqi Wu 1,* ID and Yi-sheng Huang 4 1 Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, China; [email protected] 2 School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China 3 Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ 07102, USA; zhou@njit....

Special issue on recent trends in discrete event systems

This special issue of DEDS on Recent Trends in Discrete Event Systems was inspired by the 10th International Workshop on Discrete Event Systems (WODES 2010), which was held on the campus of Technische Universität Berlin from 30 August to 1 September 2010. The Workshop Series on Discrete Event Systems started in 1992. Since then workshops have been held every two years: in Prague (1992), Antibes...

“ Special Issue on Hybrid Petri Nets ” Discrete Event Dynamic Systems

Partial Observation in Distributed Supervisory Control of Discrete-Event Systems

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...